package sketch.issta11.specifyoracles;

import java.util.LinkedList;
import java.util.List;

import junit.framework.TestCase;

import sketch.ounit.Values;
import sketch.specs.annotation.TestSketch;

public class Z_TryCatchStatements_Example extends TestCase {

	@TestSketch
	public void testTryCatchStatements() {
		List<String> l = new LinkedList<String>();
		{/*@ChooseAllOrNone*/
			l.add("1");
		}
		{/*@TryCatch*/
			l.get(0);
		}
	}
//	
//	@TestSketch
//	public void testTryCatchStatements_chooseone() {
//		List<String> l = new LinkedList<String>();
//		{/*@TryCatch*/
//			int i = Values.choose(1, 2);
//			l.get(i);
//		}
//	}
	
}